how to undo the commit pushed using git revert | git revert | git tutorials